381. Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings
پدیدآورنده : International Symposium, PLILP '29 )4th: 2991: Leuven, Belgium(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
رده :
QA
76
.
7
.
I5773
1992
382. Programming language implementation and logic programming : 6th International Symposium, PLILP'94, Madrid, Spain, September 14 - 16, 1994 : proceedings
پدیدآورنده : Manuel Hermenegildo, Jaan Penjam )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
844
383. Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 1993 : proceedings
پدیدآورنده : International Symposium, PLILP '39 )5th: 3991: Tallinn, Estonia(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
رده :
QA
76
.
7
.
I5773
1993
384. Programming language implementation and logic programming : 5th International Symposium, PLILP'93, Tallinn, Estonia, August 1993 : proceedings
پدیدآورنده : Maurice Bruynooghe, Jaan Penjam, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
714
385. Programming languages implementation and logic programming
پدیدآورنده : International Workshop PLILP '88 )8891: Orleans, France(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
رده :
QA
76
.
7
.
I59
1988
386. Programming languages implementation and logic programming : International Workshop PLILP'88, Orleans, France, May 16-18, 1988, Proceedings
پدیدآورنده : P. Deransart, B. Lorho, J. Maluszynski )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
348
387. Programming languages : implementations, logics and programs: 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996 : proceedings
پدیدآورنده : Herbert Kuchen, S. Doaitse Swierstra )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1140
388. Programming languages : implementations, logics and programs : 7th International Symposium, PLILP'95 Utrecht, The Netherlands, September 20 - 22, 1995 : proceedings
پدیدآورنده : Manuel Hermenegildo, S. Doaitse Swierstra )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
982
389. Programming logic and design
پدیدآورنده : / by Joyce Farrell
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic programming,Logic desin
رده :
QA76
.
63
.
F25
2015
390. Programming logic and design :
پدیدآورنده : Joyce Farrell.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic design.,Logic programming.
رده :
QA76
.
63
J693
2015
391. Programming with constraints: an introduction
پدیدآورنده : Marriott, Kim
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic programming,، Constraint programming )Computer science(
رده :
QA
76
.
63
.
M37
1998
392. Programming with higher-order logic /
پدیدآورنده : Dale Miller, Gopalan Nadathur.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic programming.,Prolog (Computer program language)
رده :
QA76
.
63
.
M554
2012
393. Programs from decision tabels
پدیدآورنده : / Edward Humby
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers - Programming,Decision logic tables
رده :
001
.
6423
H919p
394. Programs from decision tables
پدیدآورنده : / E. Humby
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Electronic digital computers - Programming,Decision logic tables
رده :
QA76
.
6
.
H85
395. Programs from decision tables
پدیدآورنده : Humby, E.)Edward(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer programming,، Decision logic tables
رده :
QA
76
.
6
.
H85
1973
396. Prolog++ : the power of object-oriented and logic programming
پدیدآورنده : Moss, Christopher D. S.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Prolog++ )Computer program language(,، Object-oriented programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P2
.
M69
1994
397. Proof and computation
پدیدآورنده : edited by Helmut Schwichtenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Programmation logique -- Congrès.
رده :
QA76
.
63
E358
1995
398. Proof and computation
پدیدآورنده : edited by Helmut Schwichtenberg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
P74
399. Reasoning with logic programming
پدیدآورنده : Alferes, Jose Julio
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic programming,، Reasoning
رده :
QA
76
.
L28
Vol
.
1111
400. Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers
پدیدآورنده : Krzysztof R. Apt...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3010
